Cs - R 9517 1995
نویسندگان
چکیده
This paper contributes to the model theory of modal logic using bisimulations as the fundamental tool A uniform presentation is given of modal analogues of well known de nability and preservation results from rst order logic These results include algebraic characterizations of modal equivalence and of the modally de nable classes of models the preservation results concern preservation of modal formulas under submodels unions of chains and homomorphisms AMS Subject Classi cation B C C CR Subject Classi cation F F I I
منابع مشابه
Human-and-Humanoid Postures Under External Disturbances: Modeling, Simulation, and Robustness. Part 1: Modeling
متن کامل
Dynamic whole-arm dexterous manipulation in the plane
A dynamic model Whole-Arm Dexterous Manipulation In The Plane S.L. Yeap J.C. Trinkle Dept. of CS syeap@cs. tamu.edu Dept. of CS trink@cs . t amu.edu Texas A&M University, College Station, TX 77843-31 12 ' of a dexterous manipulation system can be used for predicting the feasibility of a manipulation plan generated under the quasistatic assumption but executed under dynamic conditions. Contact f...
متن کاملInvolvement of CD45 in adhesion and suppression of apoptosis of mouse malignant T-lymphoma cells.
Mouse malignant T-lymphoma CS-21 cells undergo apoptotic cell death in vitro in the absence of lymph node stromal cells but escape apoptosis and proliferate when they are attached to CA-12 stromal cells. A monoclonal antibody raised against CS-21 cell surface molecules (MCS-5) recognized a M(r) 168,000 protein, inhibited binding of CS-21 cells to CA-12 stromal cells, and suppressed apoptosis in...
متن کاملTombstone ST Segment Elevation in Double Vessel Coronary Artery Disease; “Who is the Culprit?”
We describe a 66 year-old male who presented with chest pain and ST segment elevation in the anterior leads. The typical culprit lesion is in the left anterior descending artery (LAD). However, concomitant lesions in the other coronary arteries may make an accurate diagnosis of the actual “culprit lesion” more challenging. Understanding the electrical basis of electrocardiograms can provide imp...
متن کامل